2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Modal Logic (Cambridge Tracts in Theoretical Computer Science, Volume 53)
Автор:
Patrick Blackburn
, Автор:
Maarten de Rijke
, Автор:
Yde Venema
Размер книги: 3.62 Mb
Finite model theory and its applications
Автор:
Erich Grädel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Venema
, Автор:
Scott Weinstein
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 3.22 Mb
Finite Model Theory and Its Applications
Автор:
Erich Grädel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Venema
, Автор:
Scott Weinstein
Размер книги: 4.02 Mb
Modal logic and process algebra: a bisimulation perspective
Автор:
Alban Ponse
, Автор:
Maarten de Rijke
, Автор:
Yde Venema
Размер книги: 14.82 Mb
Modal logic and process algebra: A bisimulation perspective
Автор:
Alban Ponse
, Автор:
Maarten de Rijke
, Автор:
Yde Venema
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 2.25 Mb
Mathematics - Finite Model Theory and Its Applications
Автор:
Erich Grädel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Venema
, Автор:
Scott Weinstein
Размер книги: 4.03 Mb
